Conditional preferences in P-RASP
نویسندگان
چکیده
In this paper, we extend our previous work where we have introduced the possibility of defining and using resources in ASP. In fact, in P-RASP (Resourced ASP with Preferences) one can define resources with their amounts. Available resources can be used for producing other resources, thus consuming either all or just a part of the available amount. The remaining amount, if any, can be used in a different way. It is possible to express preferences about which resources should be either consumed or produced. Moreover, conditional preferences, of three different forms, allow one to express preferences according to certain conditions, that are to be evaluated “dynamically.”, namely, with respect to the specific answer set at hand. The semantic rendering of P-RASP with conditional preferences is in terms of plain P-RASP, though the translation is not straightforward and thus the new features are not syntactic sugar.
منابع مشابه
Modeling preferences and conditional preferences on resource consumption and production in ASP
In this paper, we extend our previous work on Resourced ASP, or for short RASP, where we have introduced the possibility of defining and using resources in ASP. In RASP, one can define resources with their amounts, where available resources can be used for producing other resources and the remaining amount, if any, can be used in a different way. In this paper, we introduce P-RASP (RASP with Pr...
متن کاملWeight Constraints with Preferences in ASP
Weight and cardinality constraints constitute a very useful programming construct widely adopted in Answer Set Programming (ASP). In recent work we have proposed RASP, an extension to plain ASP where complex forms of preferences can be flexibly expressed. In this paper, we illustrate an application of these preferences within weight/cardinality constraints. We emphasize, mainly by simple exampl...
متن کاملExtending and Implementing RASP
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and consumption of (amounts of) resources. The approach combines answer set semantics with quantitative reasoning and relies on an algebraic structure to support computations and comparisons of amounts. The RASP framework...
متن کاملEliciting Preferences for Health Insurance in Iran Using Discrete Choice Experiment Analysis
Background The preferences of Iranians concerning the attributes of health insurance benefit packages are not well studied. This study aimed to elicit health insurance preferences among insured people in Iran during 2016. Methods A mixed method...
متن کاملAn ASP-based System for Preference Handling and Planning
Internet and mobile applications are becoming more and more helpful and widespread, while our daily lives are becoming increasingly busy and complicated. Preferences affect our actions, as well as those of intelligent agents. Answer Set Programming is a suitable framework for a decision making process which aims at supporting users by suitably planning their activities. Resourced Answer Set Pro...
متن کامل